$\forall$${\it es}$:event\_system\{i:l\}. es\_time(${\it es}$) $\in$ es{-}E(${\it es}$)$\rightarrow$rationals